Dec 03 03:28:58.791 INFO testing lambda_calculus-2.2.0 against master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61 for beta-1.31-5
Dec 03 03:28:58.791 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 03:28:59.311 INFO [stdout] 4810c581bd90ff78775440e77da040331010791c2ad5ec692fc2627abf6ec7e8
Dec 03 03:28:59.316 INFO running `"docker" "start" "-a" "4810c581bd90ff78775440e77da040331010791c2ad5ec692fc2627abf6ec7e8"`
Dec 03 03:29:00.370 INFO [stderr] usermod: no changes
Dec 03 03:29:00.428 INFO [stderr]    Compiling lambda_calculus v2.2.0 (/source)
Dec 03 03:29:03.827 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.42s
Dec 03 03:29:03.827 INFO [stderr] su: No module specific data is present
Dec 03 03:29:04.619 INFO running `"docker" "inspect" "4810c581bd90ff78775440e77da040331010791c2ad5ec692fc2627abf6ec7e8"`
Dec 03 03:29:04.945 INFO running `"docker" "rm" "-f" "4810c581bd90ff78775440e77da040331010791c2ad5ec692fc2627abf6ec7e8"`
Dec 03 03:29:05.184 INFO [stdout] 4810c581bd90ff78775440e77da040331010791c2ad5ec692fc2627abf6ec7e8
Dec 03 03:29:05.193 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 03:29:05.702 INFO [stdout] 11d9d1c6d427b4bb96aea0c6eafb6ebef4c52ab2b1e27dcfd49cba250b1bb15d
Dec 03 03:29:05.708 INFO running `"docker" "start" "-a" "11d9d1c6d427b4bb96aea0c6eafb6ebef4c52ab2b1e27dcfd49cba250b1bb15d"`
Dec 03 03:29:07.867 INFO [stderr] usermod: no changes
Dec 03 03:29:07.923 INFO [stderr]    Compiling lambda_calculus v2.2.0 (/source)
Dec 03 03:29:11.365 INFO [stderr] warning: unused `#[macro_use]` import
Dec 03 03:29:11.365 INFO [stderr]  --> tests/signed.rs:3:1
Dec 03 03:29:11.365 INFO [stderr]   |
Dec 03 03:29:11.365 INFO [stderr] 3 | #[macro_use]
Dec 03 03:29:11.365 INFO [stderr]   | ^^^^^^^^^^^^
Dec 03 03:29:11.365 INFO [stderr]   |
Dec 03 03:29:11.365 INFO [stderr]   = note: #[warn(unused_imports)] on by default
Dec 03 03:29:11.365 INFO [stderr] 
Dec 03 03:29:11.424 INFO [stderr] warning: unused `#[macro_use]` import
Dec 03 03:29:11.424 INFO [stderr]  --> tests/reduction.rs:1:1
Dec 03 03:29:11.424 INFO [stderr]   |
Dec 03 03:29:11.424 INFO [stderr] 1 | #[macro_use]
Dec 03 03:29:11.424 INFO [stderr]   | ^^^^^^^^^^^^
Dec 03 03:29:11.444 INFO [stderr]   |
Dec 03 03:29:11.444 INFO [stderr]   = note: #[warn(unused_imports)] on by default
Dec 03 03:29:11.444 INFO [stderr] 
Dec 03 03:29:12.607 INFO [stderr] warning: unused `#[macro_use]` import
Dec 03 03:29:12.607 INFO [stderr]  --> tests/num.rs:3:1
Dec 03 03:29:12.607 INFO [stderr]   |
Dec 03 03:29:12.607 INFO [stderr] 3 | #[macro_use]
Dec 03 03:29:12.607 INFO [stderr]   | ^^^^^^^^^^^^
Dec 03 03:29:12.639 INFO [stderr]   |
Dec 03 03:29:12.639 INFO [stderr]   = note: #[warn(unused_imports)] on by default
Dec 03 03:29:12.639 INFO [stderr] 
Dec 03 03:29:19.130 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 11.22s
Dec 03 03:29:19.142 INFO [stderr] su: No module specific data is present
Dec 03 03:29:19.741 INFO running `"docker" "inspect" "11d9d1c6d427b4bb96aea0c6eafb6ebef4c52ab2b1e27dcfd49cba250b1bb15d"`
Dec 03 03:29:19.828 INFO running `"docker" "rm" "-f" "11d9d1c6d427b4bb96aea0c6eafb6ebef4c52ab2b1e27dcfd49cba250b1bb15d"`
Dec 03 03:29:19.935 INFO [stdout] 11d9d1c6d427b4bb96aea0c6eafb6ebef4c52ab2b1e27dcfd49cba250b1bb15d
Dec 03 03:29:19.940 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-6/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 03:29:20.160 INFO [stdout] 09dc350f6c4ef27835becec3ad06120d1c901f8f779ba98ac2a499a503f75caf
Dec 03 03:29:20.162 INFO running `"docker" "start" "-a" "09dc350f6c4ef27835becec3ad06120d1c901f8f779ba98ac2a499a503f75caf"`
Dec 03 03:29:20.586 INFO [stderr] usermod: no changes
Dec 03 03:29:20.614 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Dec 03 03:29:20.625 INFO [stderr]      Running /target/debug/deps/lambda_calculus-c8c7adb0123883f1
Dec 03 03:29:20.629 INFO [stdout] 
Dec 03 03:29:20.629 INFO [stdout] running 13 tests
Dec 03 03:29:20.629 INFO [stdout] test parser::tests::parse_quine ... ok
Dec 03 03:29:20.629 INFO [stdout] test parser::tests::parse_y ... ok
Dec 03 03:29:20.629 INFO [stdout] test term::tests::app_macro ... ok
Dec 03 03:29:20.630 INFO [stdout] test term::tests::abs_macro ... ok
Dec 03 03:29:20.630 INFO [stdout] test term::tests::display_modes ... ok
Dec 03 03:29:20.630 INFO [stdout] test parser::tests::succ_ast ... ok
Dec 03 03:29:20.630 INFO [stdout] test parser::tests::tokenization_error ... ok
Dec 03 03:29:20.630 INFO [stdout] test term::tests::is_supercombinator ... ok
Dec 03 03:29:20.630 INFO [stdout] test term::tests::open_term_display ... ok
Dec 03 03:29:20.630 INFO [stdout] test parser::tests::tokenization_success ... ok
Dec 03 03:29:20.630 INFO [stdout] test parser::tests::alternative_lambda_parsing ... ok
Dec 03 03:29:20.631 INFO [stdout] test parser::tests::tokenization_success_classic ... ok
Dec 03 03:29:20.631 INFO [stdout] test parser::tests::parse_blc ... ok
Dec 03 03:29:20.631 INFO [stdout] 
Dec 03 03:29:20.631 INFO [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 03:29:20.631 INFO [stdout] 
Dec 03 03:29:20.631 INFO [stderr]      Running /target/debug/deps/lists-2ac1b29ff69f5a7f
Dec 03 03:29:20.633 INFO [stdout] 
Dec 03 03:29:20.633 INFO [stdout] running 2 tests
Dec 03 03:29:20.635 INFO [stdout] test list_tail ... ok
Dec 03 03:29:20.635 INFO [stdout] test list_head ... ok
Dec 03 03:29:20.635 INFO [stdout] 
Dec 03 03:29:20.635 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 03:29:20.635 INFO [stdout] 
Dec 03 03:29:20.635 INFO [stderr]      Running /target/debug/deps/num-b6a2d70191707365
Dec 03 03:29:20.637 INFO [stdout] 
Dec 03 03:29:20.637 INFO [stdout] running 22 tests
Dec 03 03:29:20.637 INFO [stdout] test church_add ... ok
Dec 03 03:29:20.641 INFO [stdout] test church_min ... ok
Dec 03 03:29:20.641 INFO [stdout] test church_div ... ok
Dec 03 03:29:20.651 INFO [stdout] test church_shl ... ok
Dec 03 03:29:20.651 INFO [stdout] test church_pow ... ok
Dec 03 03:29:20.651 INFO [stdout] test church_mul ... ok
Dec 03 03:29:20.651 INFO [stdout] test church_max ... ok
Dec 03 03:29:20.651 INFO [stdout] test church_fac ... ok
Dec 03 03:29:20.651 INFO [stdout] test church_quot ... ok
Dec 03 03:29:20.651 INFO [stdout] test church_rem ... ok
Dec 03 03:29:20.654 INFO [stdout] test church_shr ... ok
Dec 03 03:29:20.662 INFO [stdout] test scott_mul ... ok
Dec 03 03:29:20.663 INFO [stdout] test church_sub ... ok
Dec 03 03:29:20.669 INFO [stdout] test num_succ ... ok
Dec 03 03:29:20.669 INFO [stdout] test parigot_add ... ok
Dec 03 03:29:20.669 INFO [stdout] test parigot_sub ... ok
Dec 03 03:29:20.669 INFO [stdout] test scott_add ... ok
Dec 03 03:29:20.669 INFO [stdout] test stumpfu_add ... ok
Dec 03 03:29:20.669 INFO [stdout] test parigot_mul ... ok
Dec 03 03:29:20.669 INFO [stdout] test num_pred ... ok
Dec 03 03:29:20.672 INFO [stdout] test stumpfu_mul ... ok
Dec 03 03:29:20.674 INFO [stdout] test scott_pow ... ok
Dec 03 03:29:20.674 INFO [stdout] 
Dec 03 03:29:20.674 INFO [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 03:29:20.674 INFO [stdout] 
Dec 03 03:29:20.675 INFO [stderr]      Running /target/debug/deps/option-f167a67e024b8f04
Dec 03 03:29:20.679 INFO [stdout] 
Dec 03 03:29:20.679 INFO [stdout] running 8 tests
Dec 03 03:29:20.681 INFO [stdout] test option_is_some ... ok
Dec 03 03:29:20.681 INFO [stdout] test option_and_then ... ok
Dec 03 03:29:20.681 INFO [stdout] test option_map ... ok
Dec 03 03:29:20.681 INFO [stdout] test option_is_none ... ok
Dec 03 03:29:20.681 INFO [stdout] test option_none ... ok
Dec 03 03:29:20.682 INFO [stdout] test option_map_or ... ok
Dec 03 03:29:20.682 INFO [stdout] test option_some ... ok
Dec 03 03:29:20.682 INFO [stdout] test option_unwrap_or ... ok
Dec 03 03:29:20.682 INFO [stdout] 
Dec 03 03:29:20.682 INFO [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 03:29:20.682 INFO [stdout] 
Dec 03 03:29:20.682 INFO [stderr]      Running /target/debug/deps/pair_list-6390c693a8fbb2e2
Dec 03 03:29:20.687 INFO [stdout] 
Dec 03 03:29:20.687 INFO [stdout] running 10 tests
Dec 03 03:29:20.693 INFO [stdout] test pair_list_replicate ... ok
Dec 03 03:29:20.694 INFO [stdout] test pair_list_list ... ok
Dec 03 03:29:20.694 INFO [stdout] test pair_list_index ... ok
Dec 03 03:29:20.695 INFO [stdout] test pair_list_length ... ok
Dec 03 03:29:20.695 INFO [stdout] test pair_list_head ... ok
Dec 03 03:29:20.697 INFO [stdout] test pair_list_append ... ok
Dec 03 03:29:20.699 INFO [stdout] test pair_list_drop ... ok
Dec 03 03:29:20.700 INFO [stdout] test pair_list_drop_while ... ok
Dec 03 03:29:20.706 INFO [stdout] test pair_list_reverse ... ok
Dec 03 03:29:20.706 INFO [stdout] test pair_list_tail ... ok
Dec 03 03:29:20.706 INFO [stdout] 
Dec 03 03:29:20.706 INFO [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 03:29:20.706 INFO [stdout] 
Dec 03 03:29:20.706 INFO [stderr]      Running /target/debug/deps/reduction-703709e1fc88ba21
Dec 03 03:29:20.717 INFO [stdout] 
Dec 03 03:29:20.717 INFO [stdout] running 5 tests
Dec 03 03:29:20.717 INFO [stdout] test reduction_huge ... ignored
Dec 03 03:29:20.717 INFO [stdout] test reduction_nor ... ok
Dec 03 03:29:20.717 INFO [stdout] test reduction_cbv ... ok
Dec 03 03:29:20.717 INFO [stdout] test reduction_app ... ok
Dec 03 03:29:20.718 INFO [stdout] test reduction_cbn ... ok
Dec 03 03:29:20.718 INFO [stdout] 
Dec 03 03:29:20.718 INFO [stdout] test result: ok. 4 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
Dec 03 03:29:20.718 INFO [stdout] 
Dec 03 03:29:20.718 INFO [stderr]      Running /target/debug/deps/signed-cd5d9149133dda89
Dec 03 03:29:20.719 INFO [stdout] 
Dec 03 03:29:20.719 INFO [stdout] running 6 tests
Dec 03 03:29:20.727 INFO [stdout] test signed_neg ... ok
Dec 03 03:29:20.743 INFO [stdout] test signed_modulus ... ok
Dec 03 03:29:20.743 INFO [stdout] test signed_simplify ... ok
Dec 03 03:29:20.755 INFO [stdout] test signed_mul ... ok
Dec 03 03:29:20.766 INFO [stdout] test signed_sub ... ok
Dec 03 03:29:20.834 INFO [stdout] test signed_add ... ok
Dec 03 03:29:20.834 INFO [stdout] 
Dec 03 03:29:20.834 INFO [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 03:29:20.834 INFO [stdout] 
Dec 03 03:29:20.835 INFO [stderr]    Doc-tests lambda_calculus
Dec 03 03:29:21.926 INFO [stdout] 
Dec 03 03:29:21.926 INFO [stdout] running 177 tests
Dec 03 03:29:27.063 INFO [stdout] test src/combinators.rs - combinators::T (line 242) ... ok
Dec 03 03:29:27.175 INFO [stdout] test src/combinators.rs - combinators::R (line 221) ... ok
Dec 03 03:29:27.919 INFO [stdout] test src/combinators.rs - combinators::I (line 22) ... ok
Dec 03 03:29:28.903 INFO [stdout] test src/combinators.rs - combinators::K (line 36) ... ok
Dec 03 03:29:29.495 INFO [stdout] test src/combinators.rs - combinators::C (line 101) ... ok
Dec 03 03:29:29.779 INFO [stdout] test src/combinators.rs - combinators::S (line 50) ... ok
Dec 03 03:29:30.027 INFO [stdout] test src/combinators.rs - combinators::B (line 83) ... ok
Dec 03 03:29:31.203 INFO [stdout] test src/combinators.rs - combinators::O (line 153) ... ok
Dec 03 03:29:33.579 INFO [stdout] test src/combinators.rs - combinators::Y (line 169) ... ok
Dec 03 03:29:36.383 INFO [stdout] test src/combinators.rs - combinators::W (line 119) ... ok
Dec 03 03:29:36.915 INFO [stdout] test src/combinators.rs - combinators::Z (line 198) ... ok
Dec 03 03:29:37.215 INFO [stdout] test src/data/boolean.rs - data::boolean::if_else (line 167) ... ok
Dec 03 03:29:37.416 INFO [stdout] test src/data/boolean.rs - data::boolean::and (line 21) ... ok
Dec 03 03:29:37.424 INFO [stdout] test src/combinators.rs - combinators::i (line 68) ... ok
Dec 03 03:29:38.483 INFO [stdout] test src/data/boolean.rs - data::boolean::imply (line 183) ... ok
Dec 03 03:29:38.651 INFO [stdout] test src/combinators.rs - combinators::o (line 137) ... ok
Dec 03 03:29:43.009 INFO [stdout] test src/data/list/church.rs - data::list::church::head (line 77) ... ok
Dec 03 03:29:43.223 INFO [stdout] test src/data/boolean.rs - data::boolean::nand (line 142) ... ok
Dec 03 03:29:44.887 INFO [stdout] test src/data/boolean.rs - data::boolean::xor (line 73) ... ok
Dec 03 03:29:45.271 INFO [stdout] test src/data/boolean.rs - data::boolean::xnor (line 120) ... ok
Dec 03 03:29:45.591 INFO [stdout] test src/data/boolean.rs - data::boolean::not (line 57) ... ok
Dec 03 03:29:45.973 INFO [stdout] test src/data/boolean.rs - data::boolean::nor (line 95) ... ok
Dec 03 03:29:46.183 INFO [stdout] test src/data/boolean.rs - data::boolean::or (line 39) ... ok
Dec 03 03:29:46.199 INFO [stdout] test src/data/list/church.rs - data::list::church::cons (line 33) ... ok
Dec 03 03:29:54.531 INFO [stdout] test src/data/list/church.rs - data::list::church::tail (line 98) ... ok
Dec 03 03:29:54.539 INFO [stdout] test src/data/list/church.rs - data::list::church::is_nil (line 18) ... ok
Dec 03 03:29:54.843 INFO [stdout] test src/data/list/pair.rs - data::list::pair::append (line 225) ... ok
Dec 03 03:29:56.535 INFO [stdout] test src/data/list/pair.rs - data::list::pair::cons (line 36) ... ok
Dec 03 03:29:56.975 INFO [stdout] test src/data/list/pair.rs - data::list::pair::drop (line 686) ... ok
Dec 03 03:29:57.255 INFO [stdout] test src/data/list/pair.rs - data::list::pair::drop_while (line 726) ... ok
Dec 03 03:29:57.703 INFO [stdout] test src/data/list/pair.rs - data::list::pair::filter (line 385) ... ok
Dec 03 03:29:57.979 INFO [stdout] test src/data/list/pair.rs - data::list::pair::foldl (line 308) ... ok
Dec 03 03:30:02.527 INFO [stdout] test src/data/list/pair.rs - data::list::pair::head (line 66) ... ok
Dec 03 03:30:03.759 INFO [stdout] test src/data/list/pair.rs - data::list::pair::foldr (line 348) ... ok
Dec 03 03:30:04.999 INFO [stdout] test src/data/list/pair.rs - data::list::pair::index (line 134) ... ok
Dec 03 03:30:05.935 INFO [stdout] test src/data/list/pair.rs - data::list::pair::length (line 101) ... ok
Dec 03 03:30:07.440 INFO [stdout] test src/data/list/pair.rs - data::list::pair::is_nil (line 20) ... ok
Dec 03 03:30:08.244 INFO [stdout] test src/data/list/pair.rs - data::list::pair::last (line 428) ... ok
Dec 03 03:30:08.851 INFO [stdout] test src/data/list/pair.rs - data::list::pair::init (line 463) ... ok
Dec 03 03:30:09.099 INFO [stdout] test src/data/list/pair.rs - data::list::pair::list (line 201) ... ok
Dec 03 03:30:12.783 INFO [stdout] test src/data/list/pair.rs - data::list::pair::map (line 264) ... ok
Dec 03 03:30:14.863 INFO [stdout] test src/data/list/pair.rs - data::list::pair::replicate (line 765) ... ok
Dec 03 03:30:15.195 INFO [stdout] test src/data/list/pair.rs - data::list::pair::tail (line 82) ... ok
Dec 03 03:30:15.707 INFO [stdout] test src/data/list/pair.rs - data::list::pair::take (line 599) ... ok
Dec 03 03:30:16.383 INFO [stdout] test src/data/list/pair.rs - data::list::pair::reverse (line 162) ... ok
Dec 03 03:30:19.939 INFO [stdout] test src/data/list/pair.rs - data::list::pair::take_while (line 643) ... ok
Dec 03 03:30:21.007 INFO [stdout] test src/data/list/pair.rs - data::list::pair::zip (line 504) ... ok
Dec 03 03:30:21.331 INFO [stdout] test src/data/list/pair.rs - data::list::pair::zip_with (line 551) ... ok
Dec 03 03:30:25.211 INFO [stdout] test src/data/list/parigot.rs - data::list::parigot::cons (line 32) ... ok
Dec 03 03:30:26.717 INFO [stdout] test src/data/list/parigot.rs - data::list::parigot::is_nil (line 17) ... ok
Dec 03 03:30:27.208 INFO [stdout] test src/data/list/parigot.rs - data::list::parigot::head (line 77) ... ok
Dec 03 03:30:28.159 INFO [stdout] test src/data/list/parigot.rs - data::list::parigot::tail (line 97) ... ok
Dec 03 03:30:28.583 INFO [stdout] test src/data/list/scott.rs - data::list::scott::cons (line 32) ... ok
Dec 03 03:30:32.131 INFO [stdout] test src/data/list/scott.rs - data::list::scott::head (line 67) ... ok
Dec 03 03:30:32.751 INFO [stdout] test src/data/list/scott.rs - data::list::scott::is_nil (line 17) ... ok
Dec 03 03:30:33.227 INFO [stdout] test src/data/list/scott.rs - data::list::scott::tail (line 87) ... ok
Dec 03 03:30:36.987 INFO [stdout] test src/data/num/binary.rs - data::num::binary::is_zero (line 38) ... ok
Dec 03 03:30:37.531 INFO [stdout] test src/data/num/binary.rs - data::num::binary::lsb (line 129) ... ok
Dec 03 03:30:38.095 INFO [stdout] test src/data/num/binary.rs - data::num::binary::one (line 54) ... ok
Dec 03 03:30:39.179 INFO [stdout] test src/data/num/binary.rs - data::num::binary::pred (line 107) ... ok
Dec 03 03:30:39.467 INFO [stdout] test src/data/num/binary.rs - data::num::binary::shl0 (line 147) ... ok
Dec 03 03:30:43.099 INFO [stdout] test src/data/num/binary.rs - data::num::binary::shl1 (line 164) ... ok
Dec 03 03:30:43.747 INFO [stdout] test src/data/num/binary.rs - data::num::binary::strip (line 189) ... ok
Dec 03 03:30:44.535 INFO [stdout] test src/data/num/binary.rs - data::num::binary::succ (line 77) ... ok
Dec 03 03:30:47.947 INFO [stdout] test src/data/num/binary.rs - data::num::binary::zero (line 24) ... ok
Dec 03 03:30:48.819 INFO [stdout] test src/data/num/church.rs - data::num::church::add (line 97) ... ok
Dec 03 03:30:49.419 INFO [stdout] test src/data/num/church.rs - data::num::church::div (line 339) ... ok
Dec 03 03:30:50.279 INFO [stdout] test src/data/num/church.rs - data::num::church::eq (line 221) ... ok
Dec 03 03:30:50.843 INFO [stdout] test src/data/num/church.rs - data::num::church::fac (line 455) ... ok
Dec 03 03:30:54.443 INFO [stdout] test src/data/num/church.rs - data::num::church::geq (line 289) ... ok
Dec 03 03:30:54.919 INFO [stdout] test src/data/num/church.rs - data::num::church::gt (line 312) ... ok
Dec 03 03:30:55.988 INFO [stdout] test src/data/num/church.rs - data::num::church::is_even (line 592) ... ok
Dec 03 03:30:58.313 INFO [stdout] test src/data/num/church.rs - data::num::church::is_zero (line 29) ... ok
Dec 03 03:30:58.655 INFO [stdout] test src/data/num/church.rs - data::num::church::leq (line 195) ... ok
Dec 03 03:30:58.811 INFO [stdout] test src/data/num/church.rs - data::num::church::is_odd (line 611) ... ok
Dec 03 03:30:59.855 INFO [stdout] test src/data/num/church.rs - data::num::church::max (line 507) ... ok
Dec 03 03:31:00.597 INFO [stdout] test src/data/num/church.rs - data::num::church::lt (line 169) ... ok
Dec 03 03:31:01.275 INFO [stdout] test src/data/num/church.rs - data::num::church::mul (line 130) ... ok
Dec 03 03:31:04.196 INFO [stdout] test src/data/num/church.rs - data::num::church::min (line 484) ... ok
Dec 03 03:31:04.829 INFO [stdout] test src/data/num/church.rs - data::num::church::neq (line 252) ... ok
Dec 03 03:31:08.303 INFO [stdout] test src/data/num/church.rs - data::num::church::one (line 45) ... ok
Dec 03 03:31:08.379 INFO [stdout] test src/data/num/church.rs - data::num::church::pred (line 76) ... ok
Dec 03 03:31:08.746 INFO [stdout] test src/data/num/church.rs - data::num::church::pow (line 146) ... ok
Dec 03 03:31:10.243 INFO [stdout] test src/data/num/church.rs - data::num::church::quot (line 385) ... ok
Dec 03 03:31:11.567 INFO [stdout] test src/data/num/church.rs - data::num::church::rem (line 421) ... ok
Dec 03 03:31:11.819 INFO [stdout] test src/data/num/church.rs - data::num::church::shl (line 531) ... ok
Dec 03 03:31:14.894 INFO [stdout] test src/data/num/church.rs - data::num::church::shr (line 561) ... ok
Dec 03 03:31:15.859 INFO [stdout] test src/data/num/church.rs - data::num::church::sub (line 113) ... ok
Dec 03 03:31:19.071 INFO [stdout] test src/data/num/church.rs - data::num::church::succ (line 60) ... ok
Dec 03 03:31:19.739 INFO [stdout] test src/data/num/church.rs - data::num::church::to_scott (line 629) ... ok
Dec 03 03:31:19.971 INFO [stdout] test src/data/num/church.rs - data::num::church::to_parigot (line 646) ... ok
Dec 03 03:31:21.131 INFO [stdout] test src/data/num/church.rs - data::num::church::to_stumpfu (line 663) ... ok
Dec 03 03:31:22.787 INFO [stdout] test src/data/num/church.rs - data::num::church::zero (line 15) ... ok
Dec 03 03:31:22.858 INFO [stdout] test src/data/num/parigot.rs - data::num::parigot::add (line 87) ... ok
Dec 03 03:31:25.707 INFO [stdout] test src/data/num/parigot.rs - data::num::parigot::is_zero (line 26) ... ok
Dec 03 03:31:27.395 INFO [stdout] test src/data/num/parigot.rs - data::num::parigot::mul (line 120) ... ok
Dec 03 03:31:29.807 INFO [stdout] test src/data/num/parigot.rs - data::num::parigot::one (line 42) ... ok
Dec 03 03:31:30.686 INFO [stdout] test src/data/num/parigot.rs - data::num::parigot::pred (line 71) ... ok
Dec 03 03:31:31.483 INFO [stdout] test src/data/num/parigot.rs - data::num::parigot::sub (line 103) ... ok
Dec 03 03:31:31.643 INFO [stdout] test src/data/num/parigot.rs - data::num::parigot::succ (line 55) ... ok
Dec 03 03:31:33.391 INFO [stdout] test src/data/num/scott.rs - data::num::scott::add (line 89) ... ok
Dec 03 03:31:33.499 INFO [stdout] test src/data/num/parigot.rs - data::num::parigot::zero (line 12) ... ok
Dec 03 03:31:36.219 INFO [stdout] test src/data/num/scott.rs - data::num::scott::is_zero (line 27) ... ok
Dec 03 03:31:37.715 INFO [stdout] test src/data/num/scott.rs - data::num::scott::mul (line 135) ... ok
Dec 03 03:31:40.267 INFO [stdout] test src/data/num/scott.rs - data::num::scott::one (line 44) ... ok
Dec 03 03:31:41.831 INFO [stdout] test src/data/num/scott.rs - data::num::scott::pow (line 166) ... ok
Dec 03 03:31:42.291 INFO [stdout] test src/data/num/scott.rs - data::num::scott::pred (line 73) ... ok
Dec 03 03:31:42.503 INFO [stdout] test src/data/num/scott.rs - data::num::scott::succ (line 57) ... ok
Dec 03 03:31:44.039 INFO [stdout] test src/data/num/scott.rs - data::num::scott::zero (line 13) ... ok
Dec 03 03:31:44.439 INFO [stdout] test src/data/num/scott.rs - data::num::scott::to_church (line 198) ... ok
Dec 03 03:31:46.855 INFO [stdout] test src/data/num/signed.rs - data::num::signed::add (line 149) ... ok
Dec 03 03:31:48.951 INFO [stdout] test src/data/num/signed.rs - data::num::signed::modulus (line 115) ... ok
Dec 03 03:31:51.551 INFO [stdout] test src/data/num/signed.rs - data::num::signed::mul (line 237) ... ok
Dec 03 03:31:52.651 INFO [stdout] test src/data/num/signed.rs - data::num::signed::simplify (line 60) ... ok
Dec 03 03:31:52.927 INFO [stdout] test src/data/num/signed.rs - data::num::signed::neg (line 42) ... ok
Dec 03 03:31:53.027 INFO [stdout] test src/data/num/signed.rs - data::num::signed::sub (line 192) ... ok
Dec 03 03:31:53.327 INFO [stdout] test src/data/num/signed.rs - data::num::signed::to_signed (line 19) ... ok
Dec 03 03:31:55.075 INFO [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::add (line 93) ... ok
Dec 03 03:31:56.111 INFO [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::is_zero (line 28) ... ok
Dec 03 03:31:58.400 INFO [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::mul (line 113) ... ok
Dec 03 03:32:00.145 INFO [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::to_church (line 137) ... ok
Dec 03 03:32:00.383 INFO [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::pred (line 77) ... ok
Dec 03 03:32:00.627 INFO [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::one (line 44) ... ok
Dec 03 03:32:01.163 INFO [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::succ (line 57) ... ok
Dec 03 03:32:01.791 INFO [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::to_parigot (line 188) ... ok
Dec 03 03:32:02.452 INFO [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::zero (line 14) ... ok
Dec 03 03:32:02.815 INFO [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::to_scott (line 159) ... ok
Dec 03 03:32:04.947 INFO [stdout] test src/data/option.rs - data::option::is_none (line 34) ... ok
Dec 03 03:32:05.835 INFO [stdout] test src/data/option.rs - data::option::and_then (line 131) ... ok
Dec 03 03:32:06.495 INFO [stdout] test src/data/option.rs - data::option::map_or (line 92) ... ok
Dec 03 03:32:07.566 INFO [stdout] test src/data/option.rs - data::option::some (line 18) ... ok
Dec 03 03:32:08.011 INFO [stdout] test src/data/option.rs - data::option::is_some (line 51) ... ok
Dec 03 03:32:08.020 INFO [stdout] test src/data/option.rs - data::option::map (line 68) ... ok
Dec 03 03:32:08.103 INFO [stdout] test src/data/pair.rs - data::pair::curry (line 87) ... ok
Dec 03 03:32:08.383 INFO [stdout] test src/data/option.rs - data::option::unwrap_or (line 112) ... ok
Dec 03 03:32:10.407 INFO [stdout] test src/data/pair.rs - data::pair::fst (line 30) ... ok
Dec 03 03:32:10.967 INFO [stdout] test src/data/pair.rs - data::pair::snd (line 46) ... ok
Dec 03 03:32:11.271 INFO [stdout] test src/data/pair.rs - data::pair::pair (line 12) ... ok
Dec 03 03:32:13.455 INFO [stdout] test src/data/result.rs - data::result::is_err (line 69) ... ok
Dec 03 03:32:13.471 INFO [stdout] test src/data/result.rs - data::result::and_then (line 202) ... ok
Dec 03 03:32:13.675 INFO [stdout] test src/data/result.rs - data::result::err (line 32) ... ok
Dec 03 03:32:14.039 INFO [stdout] test src/data/pair.rs - data::pair::uncurry (line 63) ... ok
Dec 03 03:32:14.063 INFO [stdout] test src/data/pair.rs - data::pair::swap (line 108) ... ok
Dec 03 03:32:15.463 INFO [stdout] test src/data/result.rs - data::result::is_ok (line 49) ... ok
Dec 03 03:32:16.441 INFO [stdout] test src/data/result.rs - data::result::map_err (line 176) ... ok
Dec 03 03:32:17.659 INFO [stdout] test src/data/result.rs - data::result::map (line 150) ... ok
Dec 03 03:32:18.704 INFO [stdout] test src/data/result.rs - data::result::ok (line 15) ... ok
Dec 03 03:32:19.093 INFO [stdout] test src/data/result.rs - data::result::option_ok (line 88) ... ok
Dec 03 03:32:19.487 INFO [stdout] test src/data/result.rs - data::result::option_err (line 109) ... ok
Dec 03 03:32:19.520 INFO [stdout] test src/data/result.rs - data::result::unwrap_or (line 130) ... ok
Dec 03 03:32:20.779 INFO [stdout] test src/data/tuple.rs - pi (line 40) ... ok
Dec 03 03:32:21.787 INFO [stdout] test src/data/tuple.rs - tuple (line 8) ... ok
Dec 03 03:32:22.467 INFO [stdout] test src/parser.rs - parser::parse (line 215) ... ok
Dec 03 03:32:22.938 INFO [stdout] test src/reduction.rs - reduction::Term::apply (line 59) ... ok
Dec 03 03:32:24.395 INFO [stdout] test src/reduction.rs - reduction::Term::reduce (line 136) ... ok
Dec 03 03:32:24.727 INFO [stdout] test src/reduction.rs - reduction::beta (line 42) ... ok
Dec 03 03:32:24.991 INFO [stdout] test src/term.rs - abs (line 438) ... ok
Dec 03 03:32:26.643 INFO [stdout] test src/term.rs - app (line 416) ... ok
Dec 03 03:32:27.667 INFO [stdout] test src/term.rs - term::Term::is_supercombinator (line 291) ... ok
Dec 03 03:32:28.691 INFO [stdout] test src/term.rs - term::Notation (line 27) ... ok
Dec 03 03:32:29.067 INFO [stdout] test src/term.rs - term::Term::lhs (line 203) ... ok
Dec 03 03:32:31.867 INFO [stdout] test src/term.rs - term::Term::lhs_mut (line 233) ... ok
Dec 03 03:32:32.123 INFO [stdout] test src/term.rs - term::Term::lhs_ref (line 218) ... ok
Dec 03 03:32:35.399 INFO [stdout] test src/term.rs - term::Term::rhs (line 245) ... ok
Dec 03 03:32:36.033 INFO [stdout] test src/term.rs - term::Term::unabs_mut (line 143) ... ok
Dec 03 03:32:36.051 INFO [stdout] test src/term.rs - term::Term::rhs_mut (line 275) ... ok
Dec 03 03:32:36.910 INFO [stdout] test src/term.rs - term::Term::rhs_ref (line 260) ... ok
Dec 03 03:32:38.239 INFO [stdout] test src/term.rs - term::Term::unabs (line 113) ... ok
Dec 03 03:32:38.705 INFO [stdout] test src/term.rs - term::Term::unabs_ref (line 128) ... ok
Dec 03 03:32:40.000 INFO [stdout] test src/term.rs - term::Term::unapp_mut (line 188) ... ok
Dec 03 03:32:40.604 INFO [stdout] test src/term.rs - term::Term::unapp (line 158) ... ok
Dec 03 03:32:42.495 INFO [stdout] test src/term.rs - term::Term::unapp_ref (line 173) ... ok
Dec 03 03:32:43.151 INFO [stdout] test src/term.rs - term::Term::unvar_mut (line 98) ... ok
Dec 03 03:32:43.309 INFO [stdout] test src/term.rs - term::Term::unvar_ref (line 83) ... ok
Dec 03 03:32:43.641 INFO [stdout] test src/term.rs - term::Term::unvar (line 68) ... ok
Dec 03 03:32:44.061 INFO [stdout] test src/term.rs - term::app (line 332) ... ok
Dec 03 03:32:44.180 INFO [stdout] test src/term.rs - term::abs (line 321) ... ok
Dec 03 03:32:44.180 INFO [stdout] 
Dec 03 03:32:44.180 INFO [stdout] test result: ok. 177 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 03:32:44.180 INFO [stdout] 
Dec 03 03:32:44.203 INFO [stderr] su: No module specific data is present
Dec 03 03:32:45.186 INFO running `"docker" "inspect" "09dc350f6c4ef27835becec3ad06120d1c901f8f779ba98ac2a499a503f75caf"`
Dec 03 03:32:45.443 INFO running `"docker" "rm" "-f" "09dc350f6c4ef27835becec3ad06120d1c901f8f779ba98ac2a499a503f75caf"`
Dec 03 03:32:45.685 INFO [stdout] 09dc350f6c4ef27835becec3ad06120d1c901f8f779ba98ac2a499a503f75caf
